Domain reasoner ideas.math
Description
Domain reasoner for mathematics and logic
version | version 1.5 (revision 5129a1395ff4ea13a071b6f316497aaa5b89a89a, Wed Jun 15 09:52:00 2016 +0200) |
exercises | 44 |
services | 40 |
Exercise aliases
alias | exercise |
math.coverup | algebra.equations.coverup |
math.lineq | algebra.equations.linear |
math.lineq-mixed | algebra.equations.linear.mixed |
math.quadreq | algebra.equations.quadratic |
math.quadreq-no-abc | algebra.equations.quadratic.no-abc |
math.quadreq-with-approx | algebra.equations.quadratic.approximate |
math.higherdegree | algebra.equations.polynomial |
math.rationaleq | algebra.equations.rational |
math.linineq | algebra.inequalities.linear |
math.quadrineq | algebra.inequalities.quadratic |
math.ineqhigherdegree | algebra.inequalities.polynomial |
math.factor | algebra.manipulation.polynomial.factor |
math.simplifyrational | algebra.manipulation.rational.simplify |
math.simplifypower | algebra.manipulation.exponents.simplify |
math.nonnegexp | algebra.manipulation.exponents.nonnegative |
math.powerof | algebra.manipulation.exponents.powerof |
math.derivative | calculus.differentiation |
math.fraction | arithmetic.fractions |
math.calcpower | arithmetic.exponents |
linalg.gaussianelim | linearalgebra.gaussianelim |
linalg.gramschmidt | linearalgebra.gramschmidt |
linalg.linsystem | linearalgebra.linsystem |
linalg.systemwithmatrix | linearalgebra.systemwithmatrix |
logic.dnf | logic.propositional.dnf |
logic.dnf-unicode | logic.propositional.dnf.unicode |
logic.proof | logic.propositional.proof |
relationalg.cnf | relationalgebra.cnf |
gaussianelimination | linearalgebra.gaussianelim |
gramschmidt | linearalgebra.gramschmidt |
solvelinearsystem | linearalgebra.linsystem |
solvelinearsystemwithmatrix | linearalgebra.systemwithmatrix |
Feedback scripts
exercise | script |
logic.propositional.dnf | logic.txt |
logic.propositional.dnf.unicode | logic.txt |
algebra.equations.linear | math.lineq-en.txt |
algebra.equations.quadratic | math.quadreq-en.txt |
algebra.equations.polynomial | math.polyeq-en.txt |